Conversion to Disjunctive Normal Form